e5ef379fac414fd47c90251a50c086db139311be,plugins/org.eclipse.xtext/src/org/eclipse/xtext/parsetree/reconstr/impl/TreeConstNFAToDot.java,TreeConstNFAToDot,drawAbstractElementTree,#AbstractElement#Digraph#,23

Before Change



		if (nfas.getFollowers().size() == 0
				&& nfas.getParentFollowers().size() == 0 && !nfas.isEndState())
			n.setStyle("dotted");
		if (nfas.isEndState())
			n.put("peripheries", "2");
		return n;

After Change


			d.add(drawFollowerEdge(ele, t, true));

		if (nfas.getStatInt() != Status.ENABLED)
			n.setStyle("dashed");
		if (nfas.isEndState())
			n.put("peripheries", "2");
		setStatusStyle(n, nfas.getStatus());